Documentation for infix (+), infix ⊎ assembled from the following types:

language documentation Sets, bags, and mixes§

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (+), infix ⊎§

Returns the Baggy addition of its arguments. More information.